Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
381	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:32:05 Metalogic Interpretation First-order logic Modal logic Epistemic modal logic Structure Well-formed formula Satisfiability Linear temporal logic Logic Model theory Mathematical logic
382	U.U.D.M. Report 2008:31 Two-dimensional models of type theory Richard Garner Department of Mathematics Add to Reading List Source URL: www2.math.uu.se Language: English - Date: 2008-08-22 07:18:33 Models of computation Algebraic topology Logic in computer science Function Lambda calculus Interpretation Sheaf Type theory Isomorphism Mathematics Mathematical logic Abstract algebra
383	Soundness, idempotence and commutativity of set-sharing Add to Reading List Source URL: eprints.whiterose.ac.uk Language: English - Date: 2014-06-06 13:46:56 Model theory Automated theorem proving Logic programming Unification Structure Interpretation Idempotence Mathematics Abstract algebra Algebra
384	PMON+: A Fluent Logic for Action and Change Formal Specication, Version 1.0 Patrick Doherty Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:04 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Term Axiom Function Type theory Logic Mathematics Mathematical logic
385	Declarative PTIME Queries to Relational Databases Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:32 Query languages Formal languages Programming paradigms Predicate logic Datalog FO Well-formed formula Generalization Interpretation Logic Mathematical logic Theoretical computer science
386	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
387	Preferential Action Semantics (Preliminary Report) John-Jules Ch. Meyer and Patrick Doherty Abstract In this paper, we propose a new way of considering reasoning about action and change. Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:29:17 Semantics Model theory Logic in computer science Knowledge representation Logic programming Kripke semantics Semantics of programming languages Interpretation E-Prime Logic Mathematical logic Mathematics
388	Decidable Model-Checking for a Resource Logic with Production of Resources Natasha Alechina1 and Brian Logan1 and Hoang Nga Nguyen1 and Franco Raimondi2 Abstract. Several logics for expressing coalitional ability under r Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:25:23 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Linear temporal logic Logic Model theory Interpretation
389	Chu Spaces and their Interpretation as Concurrent Objects Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:05:55 Linear algebra Algebraic structures Mathematical structures Functions and mappings Chu space Matrix Vector space Duality Boolean algebra Algebra Mathematics Abstract algebra
390	Incremental Certificates and Checkers for Abstraction-Carrying Code Elvira Albert1 , Puri Arenas1 , and Germ´an Puebla2 1 Complutense University of Madrid, {elvira,puri}@sip.ucm.es Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2006-03-21 09:28:18 Function Algorithm Mathematics Mathematical logic Abstract interpretation

UPDATE